categorical form

范畴形式